The Protein Ontology (PRO; http://proconsortium.org) formally defines protein entities and explicitly represents their major forms and interrelations. Protein entities represented in PRO corresponding to single amino acid chains are categorized by level of specificity into family, gene, sequence and modification metaclasses, and there is a separate metaclass for protein complexes. All metaclasses also have organism-specific derivatives. PRO complements established sequence databases such as UniProtKB, and interoperates with other biomedical and biological ontologies such as the Gene Ontology (GO). PRO relates to (...) UniProtKB in that PRO’s organism-specific classes of proteins encoded by a specific gene correspond to entities documented in UniProtKB entries. PRO relates to the GO in that PRO’s representations of organism-specific protein complexes are subclasses of the organism-agnostic protein complex terms in the GO Cellular Component Ontology. The past few years have seen growth and changes to the PRO, as well as new points of access to the data and new applications of PRO in immunology and proteomics. Here we describe some of these developments. (shrink)

We describe an evaluation undertaken on contract for the New Zealand State Services Commission of a major project (the Administrative Decision-Making Skills Project) designed to produce a model of administrative decision making and an associated teaching/learning packagefor use by government officers. It describes the evaluation of a philosophical model of decision making and the associated teaching/learning package in the setting of the New Zealand Public Service, where a deliberate attempt has been initiated to improve the quality of decision making, especially (...) in relation to moral factors. (shrink)

The Protein Ontology (PRO; http://purl.obolibrary.org/obo/pr) formally defines and describes taxon-specific and taxon-neutral protein-related entities in three major areas: proteins related by evolution; proteins produced from a given gene; and protein-containing complexes. PRO thus serves as a tool for referencing protein entities at any level of specificity. To enhance this ability, and to facilitate the comparison of such entities described in different resources, we developed a standardized representation of proteoforms using UniProtKB as a sequence reference and PSI-MOD as a post-translational modification (...) reference. We illustrate its use in facilitating an alignment between PRO and Reactome protein entities. We also address issues of scalability, describing our first steps into the use of text mining to identify protein-related entities, the large-scale import of proteoform information from expert curated resources, and our ability to dynamically generate PRO terms. Web views for individual terms are now more informative about closely-related terms, including for example an interactive multiple sequence alignment. Finally, we describe recent improvement in semantic utility, with PRO now represented in OWL and as a SPARQL endpoint. These developments will further support the anticipated growth of PRO and facilitate discoverability of and allow aggregation of data relating to protein entities. (shrink)

The linguistic foundations of science and technology include many terms that have been borrowed from ancient languages. In the case of terms with origins in the Greek language, the modern meaning can often differ significantly from the original one. Here we use the PubMed database to demonstrate the prevalence of words of Greek origin in the language of modern science, and call for scientists to exercise care when coining new terms.

Biological ontologies are used to organize, curate, and interpret the vast quantities of data arising from biological experiments. While this works well when using a single ontology, integrating multiple ontologies can be problematic, as they are developed independently, which can lead to incompatibilities. The Open Biological and Biomedical Ontologies Foundry was created to address this by facilitating the development, harmonization, application, and sharing of ontologies, guided by a set of overarching principles. One challenge in reaching these goals was that the (...) OBO principles were not originally encoded in a precise fashion, and interpretation was subjective. Here we show how we have addressed this by formally encoding the OBO principles as operational rules and implementing a suite of automated validation checks and a dashboard for objectively evaluating each ontology’s compliance with each principle. This entailed a substantial effort to curate metadata across all ontologies and to coordinate with individual stakeholders. We have applied these checks across the full OBO suite of ontologies, revealing areas where individual ontologies require changes to conform to our principles. Our work demonstrates how a sizable federated community can be organized and evaluated on objective criteria that help improve overall quality and interoperability, which is vital for the sustenance of the OBO project and towards the overall goals of making data FAIR. Competing Interest StatementThe authors have declared no competing interest. (shrink)

The Protein Ontology (PRO) provides a formal, logically-based classification of specific protein classes including structured representations of protein isoforms, variants and modified forms. Initially focused on proteins found in human, mouse and Escherichia coli, PRO now includes representations of protein complexes. The PRO Consortium works in concert with the developers of other biomedical ontologies and protein knowledge bases to provide the ability to formally organize and integrate representations of precise protein forms so as to enhance accessibility to results of protein (...) research. PRO (http://pir.georgetown.edu/pro) is part of the Open Biomedical Ontologies (OBO) Foundry. (shrink)

Objective: There are benefits and risks of giving patients more granular control of their personal health information in electronic health record (EHR) systems. When designing EHR systems and policies, informaticists and system developers must balance these benefits and risks. Ethical considerations should be an explicit part of this balancing. Our objective was to develop a structured ethics framework to accomplish this. -/- Methods: We reviewed existing literature on the ethical and policy issues, developed an ethics framework called a “Points to (...) Consider” (P2C) document, and convened a national expert panel to review and critique the P2C. -/- Results: We developed the P2C to aid informaticists designing an advanced query tool for an electronic health record (EHR) system in Indianapolis. The P2C consists of six questions (“Points”) that frame important ethical issues, apply accepted principles of bioethics and Fair Information Practices, comment on how questions might be answered, and address implications for patient care. -/- Discussion: The P2C is intended to clarify whatis at stake when designers try to accommodate potentially competing ethical commitments and logistical realities. The P2C was developed to guide informaticists who were designing a query tool in an existing EHR that would permit patient granular control. While consideration of ethical issues is coming to the forefront of medical informatics design and development practices, more reflection is needed to facilitate optimal collaboration between designers and ethicists. This report contributes to that discussion. (shrink)

The Protein Ontology (PRO) web resource provides an integrative framework for protein-centric exploration and enables specific and precise annotation of proteins and protein complexes based on PRO. Functionalities include: browsing, searching and retrieving, terms, displaying selected terms in OBO or OWL format, and supporting URIs. In addition, the PRO website offers multiple ways for the user to request, submit, or modify terms and/or annotation. We will demonstrate the use of these tools for protein research and annotation.

Representing species-specific proteins and protein complexes in ontologies that are both human and machine-readable facilitates the retrieval, analysis, and interpretation of genome-scale data sets. Although existing protin-centric informatics resources provide the biomedical research community with well-curated compendia of protein sequence and structure, these resources lack formal ontological representations of the relationships among the proteins themselves. The Protein Ontology (PRO) Consortium is filling this informatics resource gap by developing ontological representations and relationships among proteins and their variants and modified forms. Because (...) proteins are often functional only as members of stable protein complexes, the PRO Consortium, in collaboration with existing protein and pathway databases, has launched a new initiative to implement logical and consistent representation of protein complexes. We describe here how the PRO Consortium is meeting the challenge of representing species-specific protein complexes, how protein complex representation in PRO supports annotation of protein complexes and comparative biology, and how PRO is being integrated into existing community bioinformatics resources. The PRO resource is accessible at http://pir.georgetown.edu/pro/. (shrink)

Vaccine research, as well as the development, testing, clinical trials, and commercial uses of vaccines involve complex processes with various biological data that include gene and protein expression, analysis of molecular and cellular interactions, study of tissue and whole body responses, and extensive epidemiological modeling. Although many data resources are available to meet different aspects of vaccine needs, it remains a challenge how we are to standardize vaccine annotation, integrate data about varied vaccine types and resources, and support advanced vaccine (...) data analysis and inference. To address these problems, the community-based Vaccine Ontology (VO) has been developed through collaboration with vaccine researchers and many national and international centers and programs, including the National Center for Biomedical Ontology (NCBO), the Infectious Disease Ontology (IDO) Initiative, and the Ontology for Biomedical Investigations (OBI). VO utilizes the Basic Formal Ontology (BFO) as the top ontology and the Relation Ontology (RO) for definition of term relationships. VO is represented in the Web Ontology Language (OWL) and edited using the Protégé-OWL. Currently VO contains more than 2000 terms and relationships. VO emphasizes on classification of vaccines and vaccine components, vaccine quality and phenotypes, and host immune response to vaccines. These reflect different aspects of vaccine composition and biology and can thus be used to model individual vaccines. More than 200 licensed vaccines and many vaccine candidates in research or clinical trials have been modeled in VO. VO is being used for vaccine literature mining through collaboration with the National Center for Integrative Biomedical Informatics (NCIBI). Multiple VO applications will be presented. (shrink)

Durand of Saint-Pourçain's earliest treatment of cognitive habits is contained in his Sentences Commentary, Book 3, Distinction 23. In the first two questions, he discusses the ontological status of habits and their causal role, establishing his own unique view alongside the views of Godfrey of Fontaines and Hervaeus Natalis. What follows is the Latin text and an English translation of Durand's Sentences (A/B) III, d. 23, qq. 1-2.

Abū Bakr al-Rāzī (d. 925), a doctor known not only for his medical expertise but also for his notorious philosophical ideas, has not yet been given due credit for his ideas on the ethical treatment of animals. This paper explores the philosophical and theological background of his remarks on animal welfare, arguing that al-Rāzī did not (as has been claimed) see animals as possessing rational, intellectual souls like those of humans. It is also argued that al-Rāzī probably did not, as (...) is usually believed, endorse human-animal transmigration. His ethical stance does not in any case depend on shared characteristics of humans and animals, but rather on the need to imitate God’s providence and mercy. (shrink)

Peter Sloterdijk's 'In the Shadow of Mt. Sinai' and Alain Badiou's 'Our Wounds Are Not So Recent' represent distinctly different attempts to come to grips with the conflict between the West (the US, the UK, France) and the Muslim world after the September 11th attacks. Although Sloterdijk finds the source of conflict in the religious zealotry of the Abrahamic religions, while Badiou blames the multinational capitalist system for drating a disaffected underclass, the two complementary perspectives work together to make (...) this ongoing conflict intelligible, if not, finally, to stop the war on terrorism. (shrink)

Une œuvre de fiction contient une mise en suspens si elle se termine au moment où un personnage central se retrouve dans des circonstances périlleuses. Le but de cet article est d’établir que les intentions narratives des auteurs déterminent ce qui se passe ensuite dans les œuvres qui se terminent par des mises en suspens et pour lesquelles aucune suite n’est produite. À cette fin, j’argumente à partir de l’idée qu’une suite écrite par l’auteur original résoudrait de façon unique une (...) œuvre de fiction qui aboutit à une mise en suspens; je conclus que les intentions narratives de l’auteur servent de vérifacteur pour des affirmations sur ce qui arrive ensuite en l’absence d’une telle suite. (shrink)

The first sentence of NE I.2 has roughly the form: "If A [there is a universal end] and B, then D [this end will be the best good]". According to some commentators, Aristotle uses B to infer A; but then the sentence is fallacious. According to other commentators, Aristotle does not use B ; but then the sentence is bizarre. Contrary to both sets of commentators, I suggest that Aristotle uses B together with A to infer validly that there is (...) a non-instrumental – and thus unique – universal end. On this interpretation the above two problems disappear, but a subtler problem emerges: not-B does not entail C. (shrink)

According to Marr's theory of vision, computational processes of early vision rely for their success on certain "natural constraints" in the physical environment. I examine the implications of this feature of Marr's theory for the question whether psychological states supervene on neural states. It is reasonable to hold that Marr's theory is nonindividualistic in that, given the role of natural constraints, distinct computational theories of the same neural processes may be justified in different environments. But to avoid trivializing computational explanations, (...) theories must respect methodological solipsism in the sense that within a theory there cannot be differences in content without a corresponding difference in neural states. (shrink)

Concerning abortion and infanticide, ethics has always seen to each one as quite puzzling an issue. The dilemma expectedly goes like this: “Are they morally good, permissible or acceptable, or are they not?” All three major approaches in ethics, viz. virtue ethics, deontology and consequentialism, have fervently exerted themselves in order to settle both. A virtue ethicist is expected to approach the issue wondering: “Is performing abortion and infanticide indicative of virtues, to wit of character traits that the virtuous agent (...) possesses?” A deontologist would bring the dilemma up for discussion asking: “Is conducting abortion and infanticide in accordance with some moral rule or principle?” To an act utilitarian, on the other hand, the same question would strike as: “Do abortion and infanticide promote the best consequences, to wit those in which happiness is maximized?” All three approaches have been applied to the subject matter ever since the classic era, sadly with no remarkable success and, most of the times, even without the slightest suspicion of the promised rigor. (shrink)

The idea that there could be spatially extended mereological simples has recently been defended by a number of metaphysicians (Markosian 1998, 2004; Simons 2004; Parsons (2000) also takes the idea seriously). Peter Simons (2004) goes further, arguing not only that spatially extended mereological simples (henceforth just extended simples) are possible, but that it is more plausible that our world is composed of such simples, than that it is composed of either point-sized simples, or of atomless gunk. The difficulty for (...) these views lies in explaining why it is that the various sub-volumes of space occupied by such simples, are not occupied by proper parts of those simples. Intuitively at least, many of us find compelling the idea that spatially extended objects have proper parts at every sub-volume of the region they occupy. It seems that the defender of extended simples must reject a seemingly plausible claim, what Simons calls the geometric correspondence principle (GCP): that any (spatially) extended object has parts that correspond to the parts of the region that it occupies (Simons 2004: 371). We disagree. We think that GCP is a plausible principle. We also think it is plausible that our world is composed of extended simples. We reconcile these two notions by two means. On the one hand we pay closer attention to the physics of our world. On the other hand, we consider what happens when our concept of something—in this case space—contains elements not all of which are realized in anything, but instead key components are realized in different features of the world. (shrink)

This paper discusses the first incarnation of what came to be known as the “Frege-Geach” point. The point was made by Peter Geach in his 1960 essay “Ascriptivism”, and developed in “Assertion”, a 1965 piece. Geach’s articles launch a wholesale attack on theories of non-descriptive performances advanced by “some Oxford philosophers” whom he accuses of ignoring “the distinction between calling a thing ‘P’ and predicating ‘P’ of a thing”. One view that Geach specifically targets is H. L. A. Hart’s (...) claim that sentences of the form “X φ-ed” are not primarily descriptive but ascriptive of responsibility for actions. Hart explicitly accepted Geach’s criticism, and disowned his essay. I argue that he was wrong to do so. Perhaps the essay was worth retracting, but not because of Geach’s objections. I begin by restating and refining Geach’s arguments, in order to bring out the flaw he claimed to have detected in the “pattern of philosophising” that he took Hart’s essay to exemplify. I go on to argue that Geach’s original point poses no obstacle either to non-descriptivism in general, or to Hart’s sui generis non-descriptivist claim in particular. (shrink)

The Ockhamist claims that our ability to do otherwise is not endangered by God’s foreknowledge because facts about God’s past beliefs regarding future contingents are soft facts about the past—i.e., temporally relational facts that depend in some sense on what happens in the future. But if our freedom, given God’s foreknowledge, requires altering some fact about the past that is clearly a hard fact, then Ockhamism fails even if facts about God’s past beliefs are soft. Recent opponents of Ockhamism, including (...) David Widerker and Peter van Inwagen, have argued along precisely these lines. Their arguments, if successful, would undermine Ockhamism while avoiding the controversy over the alleged softness of facts about God’s past beliefs. But these arguments do not succeed. The past facts they rely on must be clear and uncontroversial examples of hard facts about the past, and these facts must be such that an ability to refrain from the relevant future action implies an ability to alter the relevant hard fact. We demonstrate the flaw in these arguments by showing how they rely on past facts that do not satisfy these criteria. The Ockhamist may have troubles, but this type of argument is not one of them. (shrink)

Since March of 2020, the world has been brought to its knees by unscientific and unethical mandates. These mandates have destroyed the world economy and the lives of countless innocent individuals. The “cure” that has been offered by medical bureaucrats and politicians has been more deadly than the disease (COVID-19). The imposition of ludicrous lockdowns, mask-wearing, coerced vaccination, and vaccine passports have not only proved to be ineffective, but also much more harmful than SARS-CoV-2 and all its variants. COVID-19 has (...) a recovery rate of close to 99% for most of the world’s population, however, despite this, institutions and power-hungry individuals have trampled upon our civil liberties and ignored our inalienable human rights. It is precisely as Thomas Paine famously stated: “The greatest tyrannies are always perpetrated in the name of the noblest causes.” -/- Many lives have been gratuitously lost because of the administration of deadly medical treatments, and the rejection of effective treatments that follow genuine science. In the process, informed consent has been disparaged and desecrated. For over two years, we were instructed to “trust the science,” but the “science” advocated by medical bureaucrats and greedy politicians was the reason why the world was turned upside-down. In the face of these crimes against humanity, justice will only be brought by real courts and real judges, but this will require the awakening of a critical mass. This book serves as an instrument for this awakening. (shrink)

Many of us read Peter Singer ’ s work on our obligations to those in desperate need with our students. Famously, Singer argues that we have a moral obligation to give a significant portion of our assets to famine relief. If my own experience is not atypical, it is quite common for students, upon grasping the implications of Singer ’ s argument, to ask whether Singer gives to famine relief. In response it might be tempting to remind students of (...) the ad hominem fallacy of attacking the person advancing an argument rather than the argument itself. In this paper I argue that the “ ad hominem reply ” to students ’ request for information about Singer is misguided. First I show that biographical facts about the person advancing an argument can constitute indirect evidence for the soundness / unsoundness of the argument. Second, I argue that such facts are relevant because they may reveal that one can discard the argument without thereby incurring moral responsibility for failing to act on its conclusion even if the argument is sound. (shrink)

Peter Baumann offers the tantalizing suggestion that Thomas Reid is almost, but not quite, a pragmatist. He motivates this claim by posing a dilemma for common sense philosophy: Will it be dogmatism or scepticism? Baumann claims that Reid points to but does not embrace a pragmatist third way between these unsavory options. If we understand `pragmatism' differently than Baumann does, however, we need not be so equivocal in attributing it to Reid. Reid makes what we could call an argument (...) from practical commitment, and this is plausibly an instance of what William James calls the pragmatic method. (shrink)

One of the important questions discussed by philosophers of technology has to do with the moral significance of artefacts in human life. While many philosophers agree that artefacts do have moral significance attached to them, opinions vary as to how it is to be construed. In this paper we deal with the approach of the influential Dutch philosopher of technology Peter Paul Verbeek. He criticizes traditional ethical theories for assuming that whatever relevancy artefacts have for morality is entirely dependent (...) on human beings, since artefacts are mere passive instruments of human agency. In contrast, he develops a view of moral agency that includes artefacts and that ascribes moral agency to human-technology hybrids rather than to humans as such. The goal of this paper is to elucidate Verbeek’s account of moral agency and evaluate it. We also deal with his views on post phenomenology and mediation underlying this account. Although the general gist of our paper is expository, we point out to several problems for Verbeek’s account. (shrink)

In this paper, I intend to deny the morality and instrumentality of the behavior known as bestiality, or the use of non-human animals for sexual gratification by human beings. While to most modern peoples, this hardly even seems like it should be in question, it should be the nature of the human mind to occasionally question long-standing traditional moray in the hopes of finding solutions to problems and the disbanding of superstition. It has been proposed that the moral question, and (...) by extension the legal question, of bestiality is based on traditions long outlived and unnecessary. In an IceNews.is article written in 2008, Norwegian lawyers were growing concerned over the prevalence of animal brothels in Denmark and the precedent it set for Norway [http://www.icenews.is, 2008]. The article, when coupled with the 2001 article title “Heavy Petting” by prominent Utilitarian philosopher, Peter Singer, proves that the issue of bestiality is no longer the purview of jokes and psychological discussions. I will argue against bestiality as a socially acceptable practice based on five standard premises. The standard premises I will present will contain notes in regard to: instrumentality; consent; disease transmission; deviance; and morality. There is significant work available on the harm done to the beast, so aside from brief summary; the question of the good of the beast is not in the focus. I will also ignore any religious concerns, either surrounding morality or freedom of practice. Instead, these arguments are in support of the moral identity of the individual and of society as a whole. (shrink)

The present text contains a critical edition of Peter of Palude’s question of divine concurrence, found in his Sentences commentary, book II, d. 1, q. 4. The question concerns whether God is immediately active in every action of a creature, and if yes, how we should understand this divine concurrence. Peter, just as elsewhere in his commentary, considers at length the opinions of other thinkers — especially those of Giles of Rome, Durand of St.-Pourçain, and Thomas Aquinas — (...) and develops his own answer as a response to theirs. Thus, while Giles maintained that God acts uniformly in every instance of natural causation just as the sun acts uniformly by giving the same light to everything, Peter (following Durand) argues that this is incompatible with the divine creation of multiple things. Second, while Durand maintained that God is only mediately active in the actions of creatures, Peter rejects this opinion because it cannot account for miracles contra naturam (such as the three young men in Nebuchadnezzar’s fire), and because he thinks that God’s immediate action follows from his immediate conservation of creatures. Third, Peter presents Aquinas’s position in detail, and defends it against Durand’s objections; according to this position, God immediately conserves and concurs with every creature, with an action that is numerically distinct from that of the secondary agent. Although as a result of his extensive borrowing, Peter’s text might not be regarded as immensely original, it provides an interesting case study of the Dominican reaction against Durand in the early 1300’s. (shrink)

This is a review of Action Semantics, by Peter D. Mosses, Cambridge Tracts in Theoretical Computer Science 26, Cambridge University Press, 1992.

David Lewis is typically interpreted as a class nominalist. One consequence of class nominalism, which he embraced, is that the reduction of ordered pairs, triples, etc to unordered sets of sets is conventional. The reaction by his Australian counterparts D.M. Armstrong and Peter Forrest was that Lewis was not being ontologically serious. This chapter evaluates this debate over serious ontology. It is argued that in one sense Lewis is ontologically serious, but that his additional commitment to structuralism about classes (...) should push him to adopt a trope-theoretic account of naturalness, which opens up another way to respond to the charge of not doing serious ontology. This conclusion is supported by certain remarks he makes in his correspondence, thus revealing how his thinking about properties appears to have evolved from property-egalitarianism to a sparse theory of tropes. (shrink)

Dealing with the metaphysical foundations of modern physical science, this book demonstrates that not only is classical metaphysics not in conflict with the principles of modern experimental science but that, when analogously transferred to the different divisions of modern science, the metaphysical principle of unity makes intelligible all the laws of modern science. This revolutionary book provides the means for reestablishing the unity of science by interpreting the whole of modern experimental science from the perspective of an analogous transfer of (...) the metaphysical principle of unity rather than in terms of efficient causality. (shrink)

Gaunilo assumes that there is no greatest conceivable island, and most philosophers have followed him in this assumption. But the option was open for Anselm (and remains open for us) to bite the bullet and ‘give him his island.’ I argue that such a response is perfectly reasonable for a Platonist like Anselm, and that even a theist who isn’t a Platonist can tolerate the island as a fairly minor addition his or her ontology.

Through an analysis of Heloise’s third letter to Peter Abelard, and the insertion of this letter in the major context of correspondance and philosophical/theological discussion lead by Abelard, this article states that there is a triple reading approach to it: the first one is directed related with the letter’s theme and can be read as a criticism of monastic environment on 12th Century; the second one is inserted in the discussion of their correspondence, and states a continuity between the (...) second and the third letters, despite the difference on the themes; the last one is the view of how the female body, understood as a starting point to Heloise’s Christian personal experience, refutes Abelard’s inicial proposition, that is, that the body is abject. (shrink)

Spatially situated opinions that can be held with different degrees of conviction lead to spatiotemporal patterns such as clustering (homophily), polarization, and deadlock. Our goal is to understand how sensitive these patterns are to changes in the local nature of interactions. We introduce two different mixing mechanisms, spatial relocation and nonlocal interaction (“telephoning”), to an earlier fully spatial model (no mixing). Interestingly, the mechanisms that create deadlock in the fully spatial model have the opposite effect when there is a sufficient (...) amount of mixing. With telephoning, not only is polarization and deadlock broken up, but consensus is hastened. The effects of mixing by relocation are even more pronounced. Further insight into these dynamics is obtained for selected parameter regimes via comparison to the mean-field differential equations. (shrink)

FDE, LP and K3 are closely related to each other and admit of an intuitive informational interpretation. However, all these logics are co-NP complete, and so idealized models of how an agent can think. We address this issue by shifting to signed formulae, where the signs express imprecise values associated with two bipartitions of the corresponding set of standard values. We present proof systems whose operational rules are all linear and have only two structural branching rules that express a generalized (...) Principle of Bivalence. Each of these systems leads to defining an infinite hierarchy of tractable approximations to the respective logic, in terms of the maximum number of allowed nested applications of the two branching rules. Further, each resulting hierarchy admits of an intuitive 5-valued non-deterministic semantics. (shrink)

The main objective o f this descriptive paper is to present the general notion of translation between logical systems as studied by the GTAL research group, as well as its main results, questions, problems and indagations. Logical systems here are defined in the most general sense, as sets endowed with consequence relations; translations between logical systems are characterized as maps which preserve consequence relations (that is, as continuous functions between those sets). In this sense, logics together with translations form a (...) bicomplete category of which topological spaces with topological continuous functions constitute a full subcategory. We also describe other uses of translations in providing new semantics for non-classical logics and in investigating duality between them. An important subclass of translations, the conservative translations, which strongly preserve consequence relations, is introduced and studied. Some specific new examples of translations involving modal logics, many-valued logics, para- consistent logics, intuitionistic and classical logics are also described. (shrink)

唯物主义、还原主义、行为主义、功能主义、动态系统理论和计算主义是流行的观点,但维特根斯坦却认为它们不连贯。行为研究包括人类生活的所有内容,但行为在很大程度上是自动的和无意识的,甚至意识部分,大多用语言 表达(维特根斯坦与头脑等同),不是一种自在的,所以拥有西尔称为理性逻辑结构(LSR)的框架,我称之为高阶思想的描述性心理学(DPHOT)。在总结了维特根斯坦和西尔提出的框架后,现代推理研究扩展了这个框 架,我展示了Carruther观点中的不足之处,这些观点渗透到大多数关于行为的讨论,包括当代行为科学。我认为,他的书是两本书的混合体,一本是认知心理学的摘要,另一本是头脑中标准哲学混乱的总结,并添加了 一些新的行话。我建议,后者应该被视为不连贯或卡通的生活观点,以维特根斯坦的话,我们可以实践成功的自我治疗,把心灵/身体问题作为一个语言/身体问题。 那些希望从现代两个系统的观点来看为人类行为建立一个全面的最新框架的人,可以查阅我的书《路德维希的哲学、心理学、Min d和语言的逻辑结构》维特根斯坦和约翰·西尔的《第二部》(2019年)。那些对我更多的作品感兴趣的人可能会看到《会说话的猴子——一个末日星球上的哲学、心理学、科学、宗教和政治——文章和评论2006-20 19年第3次(2019年)和自杀乌托邦幻想21篇世纪4日 (2019) .

It is taken for granted that the explanation of the Universe’s space-time dimension belongs to the host of the arguments that exhibit the superiority of modern (inflationary) cosmology over the standard model. In the present paper some doubts are expressed . They are based upon the fact superstring theory is too formal to represent genuine unification of general relativity and quantum field theory. Neveretheless, the fact cannot exclude the opportunity that in future the superstring theory can become more physical. Hence (...) this paper does not aim to query neither string cosmology, nor superstring theory; it asks for “tolerance in the matters cosmological”. It advices the researchers not to dwell on the common way of unification and to take into consideration the other ways as well. (shrink)

Ebola is a deadly disease with no cure; there is no vaccine developed yet. Many died during the 2014 outbreak in West Africa, and many healthcare professionals went to the virus infected area to treat the patients while placing their lives in danger. Not every medical professional placed in the field is a fully trained specialist, and sometimes one or two under-trained doctors are in charge of the entire clinic with some nurses and operating technicians. When unexpected outbreaks of the (...) virus occur in the places, the doctor(s) would encounter medical and ethical dilemmas. Should they leave or stay? In fact, this dilemma is not confined to the Ebola pandemic but relevant to all similar cases. In this paper, three authors, a medical resident, a clinical bioethicist, and a theoretical bioethicist respond to the dilemma. (shrink)

This paper offers an analysis of a hitherto neglected text on insoluble propositions dating from the late XiVth century and puts it into perspective within the context of the contemporary debate concerning semantic paradoxes. The author of the text is the italian logician Peter of Mantua (d. 1399/1400). The treatise is relevant both from a theoretical and from a historical standpoint. By appealing to a distinction between two senses in which propositions are said to be true, it offers an (...) unusual solution to the paradox, but in a traditional spirit that contrasts a number of trends prevailing in the XiVth century. It also counts as a remarkable piece of evidence for the reconstruction of the reception of English logic in italy, as it is inspired by the views of John Wyclif. Three approaches addressing the Liar paradox (Albert of Saxony, William Heytesbury and a version of strong restrictionism) are first criticised by Peter of Mantua, before he presents his own alternative solution. The latter seems to have a prima facie intuitive justification, but is in fact acceptable only on a very restricted understanding, since its generalisation is subject to the so-called revenge problem. (shrink)

The Deaf culture in the United States is a unique culture that is not widely understood. To members of the Deaf community in the United States, deafness is not viewed as a disease or pathology to be treated or cured; instead it is seen as a difference in human experience. Members of this community do not hide their deafness; instead they take great pride in their Deaf identity. The Deaf culture in the United States is very communitarian not individualistic. Mary (...) Beth and Dominic are a married couple in their late 20s who are genetically deaf. They are active members in the Deaf community and work as advocates for individuals who are deaf, family members of Deaf people and sign language interpreters who identify with the Deaf culture. Mary Beth and Dominic approach the fertility clinic with a request that they only want a child with the genetic gene for deafness. They would want the embryos that do not have the gene to be destroyed. This would entail creating a child who would have the gene for deafness. Medically and ethically, should the fertility clinic agree to the couple’s request? The authors argue that the couple's request should be denied and provide reasons for it from the perspectives of foundational and clinical ethics. (shrink)

Recent studies show that racism still exists in the American medical profession, the fact of which legitimizes the historically long-legacy of mistrust towards medical profession and health authorities among African Americans. Thus, it was suspected that the participation of black patients in end-of-life care has always been significantly low stemmed primarily from their mistrust of the medical profession. On the other hand, much research finds that there are other reasons than the mistrust which makes African Americans feel reluctant to the (...) end-of-life care, such as cultural-religious difference and genuine misunderstanding of the services. If so, two crucial questions are raised. One is how pervasive or significant the mistrust is, compared to the other factors, when they opt out of the end-of-life care. The other is if there is a remedy or solution to the seemingly broken relationship. While no studies available answer these questions, we have conducted an experiment to explore them. The research was performed at two Philadelphia hospitals of Mercy Health System, and the result shows that Black patients’ mistrust is not too great to overcome and that education can remove the epistemic obstacles as well as overcome the mistrust. (shrink)

I provide a novel, non-reductive, action-first skill-based account of active imagining. I call it the Skillful Action Account of Imagining (the skillful action account for short). According to this account, to actively imagine something is to form a representation of that thing, where the agent’s forming that representation and selecting its content together constitute a means to the completion of some imaginative project. Completing imaginative projects stands to the active formation of the relevant representations as an end. The account thus (...) bakes in the means-end order that some in action theory take to be definitional of intentional action. Moreover, in the spirit of this conception of intentional action, I hold that a central feature of the means-end order exhibited in active imagining is the agent’s direct non-observational knowledge both of her act of imagining and of its having this order. The agent knows that she’s actively imagining (that-)p and knows why she actively imagines this–to carry on the pretense, engage in the fiction, predict another’s behavior, reason about possibility or necessity, reason about contingent matters of fact, just imagine for its own sake, and so on. I show that the account accounts for the possibility of misimagining while holding onto the idea that we imagine what we intend to imagine. I likewise show that the account unifies imagining across types of imaginative project like those just listed in a way that tolerates conflict in the roles that imagining plays in the mental economy across those projects. Finally, I show that the account can accommodate passive imagining like involuntary and automatic imagining as well as mind wandering. -/- Acknowledgments: I'd like to thank Amy Kind, Robert Brandom, Colin Allen, Peter Langland-Hassan, Alison Springle, Daniel Munro, Nick Wiltsher, and Andrew Rubner for excellent comments on earlier drafts from which this paper greatly benefited. I'd also like to thank two anonymous reviewers for extremely helpful comments. And I'd like to thank participants of the 2022 Simulationism Conference hosted by the Centre for Philosophy of Memory and the 4th Annual Conference [Online/Virtual] for Imagination Domination (COVID) hosted by Amy Kind for excellent feedback on earlier versions of the paper. (shrink)

As the Zika virus pandemic continues to bring worry and fear to health officials and medical scientists, Centers for Disease Control and Prevention (CDC) and World Health Organization (WHO) have recommended that residents of the Zika-infected countries, e.g., Brazil, and those who have traveled to the area should delay having babies which may involve artificial contraceptive, particularly condom. This preventive policy, however, is seemingly at odds with the Roman Catholic Church’s position on the contraceptive. As least since the promulgation of (...) Paul VI’s 1968 encyclical, Humanae Vitae, the Church has explicitly condemned artificial birth control as intrinsic evil. However, the current pontiff, Pope Francis, during his recent visit to Latin America, remarked that the use of artificial contraception may not be in contradiction to the teaching of Humanae Vitae while drawing a parallel between the current Zika Crisis and the 1960’s Belgian Congo Nun Controversy. The pope mentioned that the traditional ethical principle of the lesser of two evils may be the doctrine that justified the exceptions. The authors of this paper attempt to expand the theological rationale of the pope’s suggestion. In so doing, the authors rely on casuistical reasoning as an analytic tool that compares the Belgian Congo Nun case and the given Zika case, and suggest that the former is highly similar to, if not the same as, the latter in terms of normative moral feature. That is, in both cases the use of artificial contraception is theologically justified in reference to the criteria that the doctrine of the lesser of two evils requires. The authors wish that the paper would provide a solid theological-ethical ground based on which condom-use as the most immediate and effective preventive measure can be recommended in numerous Catholic hospitals as well as among Catholic communities in the world, particularly the most Zika-affected and largest Catholic community in the world, Brazil – 123 million present Brazilian citizens are reported to be Roman Catholic. (shrink)

What sort of epistemic positions are compatible with inquiries driven by interrogative attitudes like wonder and puzzlement? The ignorance norm provides a partial answer: interrogative attitudes directed at a particular question are never compatible with knowledge of the question’s answer. But some are tempted to think that interrogative attitudes are incompatible with weaker positions like belief as well. This paper defends that the ignorance norm is exhaustive. All epistemic positions weaker than knowledge directed at the answer to a question are (...) compatible with having an interrogative attitude towards that question. We offer two arguments for this conclusion. The first is based on considerations about the role of hedging in inquiry. The second is conditional on considerations related to the aim of inquiry as a goal-directed activity. (shrink)

When one thinks—knows, believes, imagines—that something is the case, one’s thought has a topic: it is about something, towards which one’s mind is directed. What is the logic of thought, so understood? This book begins to explore the idea that, to answer the question, we should take topics seriously. It proposes a hyperintensional account of the propositional contents of thought, arguing that these are individuated not only by the set of possible worlds at which they are true, but also by (...) their topic: what they are about. The book then builds epistemic, doxastic, probabilistic, and conditional logics based on this view. It applies them to issues ranging from dogmatism, scepticism, and epistemic fallibilism, to imagination and suppositional reasoning, belief revision, framing effects, and the acceptability of indicative conditionals. (shrink)

Heidegger, Art, and Postmodernity offers a radical new interpretation of Heidegger's later philosophy, developing his argument that art can help lead humanity beyond the nihilistic ontotheology of the modern age. Providing pathbreaking readings of Heidegger's 'The Origin of the Work of Art' and his notoriously difficult Contributions to Philosophy, this book explains precisely what postmodernity meant for Heidegger, the greatest philosophical critic of modernity, and what it could still mean for us today. Exploring these issues, Iain D. Thomson examines several (...) postmodern works of art, including music, literature, painting and even comic books, from a post-Heideggerian perspective. Clearly written and accessible, this book will help readers gain a deeper understanding of Heidegger and his relation to postmodern theory, popular culture and art. (shrink)

A realist theory of truth for a class of sentences holds that there are entities in virtue of which these sentences are true or false. We call such entities ‘truthmakers’ and contend that those for a wide range of sentences about the real world are moments (dependent particulars). Since moments are unfamiliar, we provide a definition and a brief philosophical history, anchoring them in our ontology by showing that they are objects of perception. The core of our theory is the (...) account of truthmaking for atomic sentences, in which we expose a pervasive ‘dogma of logical form’, which says that atomic sentences cannot have more than one truthmaker. In contrast to this, we uphold the mutual independence of logical and ontological complexity, and the authors outline formal principles of truthmaking taking account of both kinds of complexity. (shrink)

As philosophical and scientific arguments for free will skepticism continue to gain traction, we are likely to see a fundamental shift in the way people think about free will and moral responsibility. Such shifts raise important practical and existential concerns: What if we came to disbelieve in free will? What would this mean for our interpersonal relationships, society, morality, meaning, and the law? What would it do to our standing as human beings? Would it cause nihilism and despair as some (...) maintain or would it rather have a humanizing effect on our practices and policies, freeing us from the negative effects of belief in free will? In this chapter we consider the practical implications of free will skepticism and argue that life without free will and basic desert moral responsibility would not be as destructive as many people believe. We argue that prospects of finding meaning in life or of sustaining good interpersonal relationships, for example, would not be threatened. On treatment of criminals, we argue that although retributivism and severe punishment, such as the death penalty, would be ruled out, preventive detention and rehabilitation programs would still be justified. While we will touch on all these issues below, our focus will be primarily on this last issue. -/- We begin in section I by considering two different routes to free will skepticism. The first denies the causal efficacy of the types of willing required for free will and receives its contemporary impetus from pioneering work in neuroscience by Benjamin Libet, Daniel Wegner, and John-Dylan Haynes. The second, which is more common in the philosophical literature, does not deny the causal efficacy of the will but instead claims that whether this causal efficacy is deterministic or indeterministic, it does not achieve the level of control to count as free will by the standards of the historical debate. We argue that while there are compelling objections to the first route—e.g., Al Mele (2009), Eddy Nahmias (2002, 2011), and Neil Levy (2005)—the second route to free will skepticism remains intact. In section II we argue that free will skepticism allows for a workable morality, and, rather than negatively impacting our personal relationships and meaning in life, may well improve our well-being and our relationships to others since it would tend to eradicate an often destructive form of moral anger. In section III we argue that free will skepticism allows for adequate ways of responding to criminal behavior—in particular, incapacitation, rehabilitation, and alternation of relevant social conditions—and that these methods are both morally justified and sufficient for good social policy. We present and defend our own preferred model for dealing with dangerous criminals, an incapacitation account built on the right to self-protection analogous to the justification for quarantine (see Pereboom 2001, 2013, 2014a; Caruso 2016a), and we respond to recent objections to it by Michael Corrado and John Lemos. (shrink)

Much of the recent philosophical discussion about free will has been focused on whether compatibilists can adequately defend how a determined agent could exercise the type of free will that would enable the agent to be morally responsible in what has been called the basic desert sense :5–24, 1994; Fischer in Four views on free will, Wiley, Hoboken, 2007; Vargas in Four views on free will, Wiley, Hoboken, 2007; Vargas in Philos Stud, 144:45–62, 2009). While we agree with Derk Pereboom (...) and others that the compatibilist’s burden should be properly understood as providing a compelling account of how a determined agent could be morally responsible in the basic desert sense, the exact nature of this burden has been rendered somewhat unclear by the fact that there has been no definitive account given as to what the basic desert sense of moral responsibility amounts to. In Sect. 1 we set out to clarify the compatibilist’s burden by presenting our account of basic desert moral responsibility—which we call retributivist desert moral responsibility for purposes of clarity—and explain why it is of central philosophical and practical importance to the free will debate. In Sect. 2 we employ a thought experiment to illustrate the kind of difficulty that compatibilists of any stripe are likely to encounter in attempting to explain how determined agents can exercise the kind of free will needed for retributivist desert moral responsibility. (shrink)

Scientific realists have claimed that the posit that our theories are (approximately) true provides the best or the only explanation for their success . In response, I revive two non-realists explanations. I show that realists, in discarding them, have either misconstrued the phenomena to be explained or mischaracterized the relationship between these explanations and their own. I contend nonetheless that these non-realist competitors, as well as their realist counterparts, should be rejected; for none of them succeed in explaining a significant (...) list of successes. I propose a related non-realist explanation of success that appears to be the most suitable among those considered. (shrink)

This essay unites current philosophical thinking on imagination with a burgeoning debate in the philosophy of memory over whether episodic remembering is simply a kind of imagining. So far, this debate has been hampered by a lack of clarity in the notion of imagining at issue. Several options are considered and constructive imagining is identified as the relevant kind. Next, a functionalist account of episodic remembering is defended as a means to establishing two key points: first, one need not defend (...) a factive view of remembering in order to hold that causal connections to past experiences are essential to how rememberings are typed; and, second, current theories that equate remembering with imagining are in fact consistent with a functionalist theory that includes causal connections in its account of what it is to remember. This suggests that remembering is not a kind of imagining and clarifies what it would take to establish the contrary. (shrink)